#select#\varsubsetneqq#insertion#
